Computability theory

Results: 1231



#Item
691Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.ijs.si

Language: English - Date: 2013-08-06 12:14:00
692Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.aut.ac.nz

Language: English - Date: 2013-08-06 12:14:00
693Computability theory / Actor model / Concurrent computing / Ptolemy Project / Structure and Interpretation of Classical Mechanics / Gerald Jay Sussman / Concurrency / Parallel computing / Computer science / Computing / Science / Academia

Future Directions Edward A. Lee 6th Biennial Ptolemy Miniconference Berkeley, CA

Add to Reading List

Source URL: ptolemy.eecs.berkeley.edu

Language: English - Date: 2005-05-18 18:54:28
694Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ossm.utm.my

Language: English - Date: 2013-08-06 13:14:53
695Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.asis.io

Language: English - Date: 2013-08-06 13:14:53
696Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: tug.ctan.org

Language: English - Date: 2013-08-06 13:14:53
697Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.uib.no

Language: English - Date: 2013-08-06 13:14:53
698Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.fernuni-hagen.de

Language: English - Date: 2013-08-06 13:14:53
699Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.megagod.net

Language: English - Date: 2013-08-06 12:14:00
700Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.mines-albi.fr

Language: English - Date: 2013-08-06 13:14:53
UPDATE